翻訳と辞書 Words near each other ・ モナズ石 ・ モナズ石グループ ・ モナチリオーニ ・ モナチン ・ モナッシュ大学 ・ モナッド ・ モナド ・ モナド (プログラミング) ・ モナド (レコードレーベル) ・ モナド (哲学) ・ モナド (圏論) ・ モナド (曖昧さ回避) ・ モナドノック ・ モナドロジー ・ モナド論 ・ モナハン ・ モナハン (DD-32) ・ モナハン (DD-354) ・ モナハン (曖昧さ回避) ・ モナハン (駆逐艦) Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク モナド (圏論) ： ミニ英和和英辞書 モナド (圏論)[ろん] ===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 圏 ： [けん] 　 1. (n,n-suf) sphere　2. circle　3. range ・ 論 ： [ろん] 　【名詞】 1. (1) argument　2. discussion　3. dispute　4. controversy　5. discourse　6. debate　7. (2) theory　8. doctrine　9. (3) essay　10. treatise　1 1. comment モナド (圏論) ： ウィキペディア日本語版 モナド (圏論)[ろん] 数学の一分野である圏論において、モナド（）あるいはトリプル（）とは（自己）関手と2つの自然変換の三つ組である。モナドは随伴関手の理論で使われ、半順序集合上の閉包作用素を任意の圏の上へ一般化する。モナドという名前は、対応する圏を一般化するというモナドの動作に注目して、ソーンダース・マックレーンが哲学用語である「モナド」を借用した。〔Mac Lane, Saunders (1998) ''Categories for the Working Mathematician'': "The remarkable part is that the whole category Algτ can be reconstructed from this monad in Set."〕 == 概要 == $F$ と $G$ が、$F$ が $G$ の 左随伴であるような2つの随伴関手であるとき、合成 $G\; \backslash circ\; F$ はモナドである。これよりモナドは自己関手となる。もし $F$ と $G$ が互いに逆関手であるとき、対応するモナドは恒等関手となる。一般には随伴関手は圏同値（）を与えない。すなわち随伴関手は異なる性質を持つ圏どうしを関連づけている。 モナドの公理は次のシンプルな例によって見出せる。$G$ を群の圏 Grp から集合の圏 Set への忘却関手とする。すると$F$ として自由群関手を取ることができる。 これはモナド :$T\; =\; G\; \backslash circ\; F$ は集合 $X$ を受け取り自由群 $\backslash mathrm(X)$ の台集合を返す関手であることを意味する。この状況の下で、次の2つの自然な射が与えられる。 :$X\; \backslash rightarrow\; T(X)$ この射は $X$ から $\backslash mathrm(X)$ への自然な包含写像である。すなわち、$X$ の元を長さ1の文字列と見做して $\backslash mathrm(X)$ に写す。 :$T(T(X))\; \backslash rightarrow\; T(X)$ この射は「文字列の文字列」を連結（:en:concatenation）（平坦化とも言う）する。これらはそれぞれ次の自然変換を定める。 # $I\; \backslash rightarrow\; T$ # $T\; \backslash circ\; T\; \backslash rightarrow\; T$ 2つ目は結合法則をみたす積であり、1つ目がその積についての単位元であることが随伴関手の性質から分かる。 これらの結合法則、単位元の公理はモノイドの公理にフォーマルな類似性が見られる。これらは圏上の一般の（随伴関手から構成しない）モナドの定義を与える。 半順序集合 $(P,\; \backslash le)$ から生成される圏（対象が $P$ の元であり、$x\; \backslash le\; y$ が成り立つとき $x$ から $y$ へ射が1つ与えられる）を特別に考えると、随伴の対は Galois 接続（:en:Galois connection）、モナドは閉包作用素（:en:closure operator）という単純な対応が取れる。 すべてのモナドはある随伴関手から構成でき、さらにこのような随伴関手はたくさん存在する。Kleisli 圏（:ja:クライスリ圏 とリンク -->" TITLE=":en:Kleisli category">:en:Kleisli category）と Eilenberg-Moore 代数の圏（共に下で導入する）は、与えられたモナドを生み出す随伴関手を構成する問題の外的な解である。 上で与えた自由群の例は、普遍代数(:en:universall algebra) における代数の variety (:en:veriety_of_algebras) の意味で、代数の任意のタイプ(:en:signature_(logic))に一般化される。よって、代数の任意のタイプは集合の圏上のモナドに持ち上げられる。代数のタイプはモナドから復元され(Eilenberg-Moore 代数の圏として)、よってモナドは普遍代数の一般化として見られることが重要な点である。さらに一般的に、任意の随伴関手はそれに対応するモナドの Eilenberg-Moore 圏に同値であるとき、モナディック()であると言う。したがって、モナド性の基準を与えるベックのモナド性定理(:en:Beck's_monadicity_theorem)は任意の随伴関手は代数の圏としてこの方法で扱えることを示すために使われる。 モナドの概念は :en:Roger_Godement により1958年に "standard construction" という名で提案された。1969年代から1970年代の間は多くの人々は「トリプル」という名前を使っていた。今の標準的な用語「モナド」はマックレーンによる。 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「モナド (圏論)」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.